Levels of Abstraction

A type-level approach to component prototyping

Levels of Abstraction / Type System / Programming language / Component composition / Component Model

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

A Review of XML-compliant User Interface Description Languages

User Interface / Levels of Abstraction / User Interface Description Language / Device-independence / Content Delivery

A Review of XML-compliant User Interface Description Languages

User Interface / Levels of Abstraction / User Interface Description Language / Device-independence / Content Delivery

From VHDL register transfer level to SystemC transaction level modeling: a comparative case study

Circuits and Systems / System Design / Case Study / Levels of Abstraction / System modeling / Integrated Circuit / FPGA based system design using VHDL / Integrated Circuit / FPGA based system design using VHDL

Classification of chemical compounds to support complex queries in a pathway database

Level Of Detail (LOD) / Comparative / Levels of Abstraction / Data Quality / Automatic Classification / Biological Database

Pattern-based parallel programming

Levels of Abstraction / Design Pattern / Meta Programming / Parallel Computer

Panel on digital preservation

Digital Preservation / Digital Library / Levels of Abstraction / Cost effectiveness / Digital Archive / Lessons Learned / National Archives and Records Administration / Lessons Learned / National Archives and Records Administration

Un-making artificial moral agents

Human Geography / Philosophy / Applied Ethics / Levels of Abstraction / Information Technology Ethics

Use Case Level Pointcuts

Software Development / Levels of Abstraction / Aspect Oriented Programming / Use Case / Sequence Diagram / Source Code / Software Systems / Source Code / Software Systems

CONAN - A Design Exploration Framework for Reliable Nano-Electronics

System Design / Power Consumption / Levels of Abstraction / Design Methodology / Circuit Design / Fault Tolerant / Dynamic Reconfiguration / Fault Tolerant / Dynamic Reconfiguration

A target identification comparison of Bayesian and Dempster-Shafer multisensor fusion

Engineering / Probability Theory / Dempster-Shafer Analysis / Levels of Abstraction / Target Identification / Evidence Theory / Evidential Reasoning / Evidence Theory / Evidential Reasoning

La división de las ciencias especulativas y los \'grados de abstracción\'

Metaphysics / Epistemology / Aristotle / Thomas Aquinas / Abstraction / Levels of Abstraction

An “abstract process” approach to algebraic dynamic architecture description

Logic / Software Architecture / Software Architecture Description / Dynamic Software Architectures / Mathematical Sciences / System Architecture / Levels of Abstraction / Process Algebra / System Architecture / Levels of Abstraction / Process Algebra

Ciencia y pseudociencia en el aula: el caso del\" Bosque Energético

Nature of Science / Levels of Abstraction / Conceptual Model

Copyright © 2017 DATOSPDF Inc.